University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics

Internet Censorship in China: Where Does the Filtering Occur? Xueyang Xu, Z. Morley Mao, and J. Alex Halderman Department of Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor, MI 48

Source URL: web.eecs.umich.edu

• Computer network security
• Computing
• Firewall software
• Information and communications technology
• Computer security
• Data security
• Internet censorship in China
• Human rights in China
• Firewall
• Stateful firewall
• Internet censorship
• Router

Learning Linguistic Descriptors of User Roles in Online Communities Alex Wang1 , William L. Hamilton2 , Jure Leskovec2 1 School of Engineering and Applied Sciences, Harvard University, Cambridge MA, Computer Scie

Source URL: www.aclweb.org

• Statistical natural language processing
• World Wide Web
• Digital media
• Internet culture
• Subreddits
• Crowdsourcing
• Reddit
• Collaboration
• /r/IAmA
• Oriented FAST and rotated BRIEF
• Topic model
• Select

Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Computer programming
• Debugging
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Assertion
• Logic in computer science
• Configuration management
• PHP
• Program slicing

Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Computer science
• Formal methods
• Computing
• Logic in computer science
• European Joint Conferences on Theory and Practice of Software
• Computer Aided Verification
• Software verification
• Formal verification
• Edmund M. Clarke
• Satisfiability modulo theories
• Verification

Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur,

Source URL: gdac.uqam.ca

• Technology
• Computing
• World Wide Web
• Social media
• Internet vigilantism
• Internet-based activism
• Cyberspace
• Internet culture
• Online shaming
• Twitter
• Tweet
• Hashtag

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Source URL: www.cs.purdue.edu

• Concurrency control
• Computing
• Edsger W. Dijkstra
• Concurrent computing
• Computer programming
• Concurrency
• Transaction processing
• Synchronization
• Lock
• Monitor
• Parallel computing
• Granularity

Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and

Source URL: shukla.io

• Learning
• Humancomputer interaction
• Cognition
• Machine learning
• Multimodal interaction
• User interfaces
• Graphical model
• Artificial intelligence
• Robot learning
• Natural language processing
• Parsing
• Dialogue system

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org